|
Your search returned 10 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1991 Volume number : 17 Issue: 06 |
Using Flat Concurrent Prolog In System Modeling
(Article)
Subject:
Petri Nets
,
Modeling Of Physical Systems
,
Flat Slabs
,
Flexible Manufacturing Systems
Author:
Benjamin
Arazi
Y
Dotan
page:
493
-
512
Specification Of Fault-Tolerant System Issues By Predicate/Transition Nets And Regular Expressions Approach And Case Study
(Article)
Subject:
Software Specification
,
Petri Nets
,
Fault Tolerance
,
System Modeling
Author:
Fevzi
Belli
Karl E.
Grosspietsch
page:
513
-
526
An Executable Language For Modeling Simple Behavior
(Article)
Subject:
State Transition Analysis
,
Declarative Language
Author:
Stanley
Lee
Suzanne
Sluizer
page:
527
-
543
A Contingency Approach To Estimating Record Selectivities
(Article)
Subject:
Record Selection
,
Query Optimization
,
Access Path
Author:
Pai-Cheng
Chu
page:
544
-
552
Testability Of Software Components
(Article)
Subject:
Software Testing
,
Functional Testing
,
Testability
,
Controllability
Author:
R.
Freedman
page:
553
-
564
Analysis And Refinement Of Software Test Data Adequacy Properties
(Article)
Subject:
Adequacy
,
Software Testing
,
Test Data Comprssion
,
Axiomatic Design
Author:
Allen
Parrish
Stuart H.
Zweben
page:
565
-
581
Why Is Software Late An Empirical Study Of Reasons For Delay In Software Development
(Article)
Subject:
Analysis Of Software Development
,
Empirical Study
,
Software Development
Author:
Michiel Van
Genuchten
page:
582
-
590
Test Selection Based On Finite State Models
(Article)
Subject:
Test Selection
Author:
Susumu
Fujiwara
Gregor V.
Bochmann
page:
591
-
603
Information Resources Management In Heterogeneous, Distributed Environments A Metadatabase Approach
(Article)
Subject:
Systems Analysis
,
Metadata
,
Data And Knowledge Modeling
Author:
Cheng-Ting
Hsu
Ahmed
Bouziane
page:
604
-
625
A Packaging System For Heterogeneous Execution Environments
(Article)
Subject:
Configuration Management
,
Heterogeneous Systems
,
Extraction
Author:
John R.
Callahan
James M.
Purtilo
page:
626
-
635
|
|
| | |